#objdump: -s -j .data
#name: .octa with division

.*: +file format .*

Contents of section .data:
 [^ ]* (00000080 ........ ........ ........|........ ........ ........ 80000000) .*
 [^ ]* (00000000 ........ ........ ........|........ ........ ........ 00000000) .*
 [^ ]* (00000000 00000080 ........ ........|........ ........ 80000000 00000000) .*
 [^ ]* (00000000 00000000 ........ ........|........ ........ 00000000 00000000) .*
